#include <common.h>
#ifdef CONFIG_FTRACE
void load_elf(char* elf_file);
void ftrace_jal(paddr_t pc, int dest,paddr_t dnpc);
void ftrace_jalr(paddr_t pc, int dest,int rs1,word_t imm,paddr_t dnpc);
#endif
